GB12601 論理と形式化